Search Results
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
Paul-Andre Mellies: "String diagrams, a topological account of proofs and programs"
Programming languages in string diagrams — Paul-André Melliès 061801 1
Programming languages in string diagrams — Paul-André Melliès 061603
Programming languages in string diagrams — Paul-André Melliès 061702
Paul Andre Mellies: An introduction to tensorial logic and dialogue categories
Programming languages in string diagrams — Paul-André Melliès 061803
Programming languages in string diagrams — Paul-André Melliès 061704
Paul-Andre Mellies: "Dialogues categories and Frobenius
Paul-André Melliès: Programming languages and string diagrams Part 2
Programming languages in string diagrams — Paul-André Melliès 061801 2
Paul-André Melliès - A gentle introduction to template games and linear logic